A Constructively Adequate Refutation System for Intuitionistic Logic Category: (a)
نویسندگان
چکیده
We present a refutation system for intuitionistic logic which allows to locate situations where constructive reasoning is unnecessary. In many subgoals of a derivation this property makes it possible to reduce the set of relevant reduction rules to a connuent one. As a result, back-tracking over choicepoints for diierent orderings of non-permutable rules can often be avoided and the search space will be reduced considerably.
منابع مشابه
A Constructively Adequate Refutation System for Intuitionistic Logic
6 International Conference TABLEAUX’97 – Short Papers, Technical Report CRIN 97-R-030, Université de Nancy II, 1997 Abstract. We present a refutation system for intuitionistic logic which allows to locate situations where constructive reasoning is unnecessary. In many subgoals of a derivation this property makes it possible to reduce the set of relevant reduction rules to a confluent one. As a ...
متن کاملTerm-Generic Logic
Term-generic logic (TGL) is a first-order logic parameterized with terms defined axiomatically (rather than constructively), by requiring them to only provide generic notions of free variable and substitution satisfying reasonable properties. TGL has a complete Gentzen system generalizing that of first-order logic. A certain fragment of TGL, called Horn, possesses a much simpler Gentzen system,...
متن کاملIntuitionistic Logic in Business Systems
Business computer systems model the real world where the absolute truth cannot always be established. This can lead to different points of view and a problem with client satisfaction. We consider intuitionistic logic as a more natural way for a business system to implement situational reasoning and we show how a proposition and its refutation can be used to develop both a specialized and a gene...
متن کاملIntuitionistic fuzzy logic for adaptive energy efficient routing in mobile ad-hoc networks
In recent years, mobile ad-hoc networks have been used widely due to advances in wireless technology. These networks are formed in any environment that is needed without a fixed infrastructure or centralized management. Mobile ad-hoc networks have some characteristics and advantages such as wireless medium access, multi-hop routing, low cost development, dynamic topology and etc. In these netwo...
متن کاملDual Intuitionistic
We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson’s logic takes both truth and falsity as constructive notions, in the falsificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996